sub trait
trait継承
例
code:rs
trait Applicative: Functor {
...
}